python int versus str